$\forall$$x$, $y$:$\mathbb{Z}$. ($x$ = $y$ $\in$ $\mathbb{Q}$) $\Leftarrow\!\Rightarrow$ ($x$ = $y$)